プロセス代数とその応用① 形式仕様とプロセス代数